41. Computer science: a mathematical introduction
پدیدآورنده : / Art Lew
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic data processing- Mathematics,Electronic digital computers- programming
رده :
QA76
.
9
.
L4
1984
42. Computer science, a mathematical introduction: apllied mathematics - modeling, analysis, and optimization technique with applications to software systems
پدیدآورنده : Lew, Art
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
M35
L48
1985
43. Computer science:a mathematical introduction )applied mathematics
پدیدآورنده : LEW,ART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
9
.
M35
L48
44. Computer science: a primer
پدیدآورنده : Alexandra I. Forsythe ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Mathematics ، Electronic data processing
رده :
QA
76
.
5
.
C6127
45. Data processing mathematics
پدیدآورنده : GLEIM,GEORGE A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICS-1961- , ELECTRONIC DIGITAL COMPUTERS PROGRAMMING
رده :
QA
39
.
2
.
G58
46. Data processing mathematics
پدیدآورنده : Gleim, George A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematics,، Electronic digital computers-- Programming
رده :
QA
39
.
2
.
G58
47. Data processing mathematics
پدیدآورنده : Gleim,George A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : 1691- ، Mathematics,Programming ، Electronic digital computers
رده :
QA
39
.
2
.
G58
48. Discrete computational structures
پدیدآورنده : Korfhage, Robert R.
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
49. Earth System Modelling - Volume Tools for Configuring, Building and Running Models
پدیدآورنده : Ford, RupertAuthor., ]electronic resource[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronic books,، Earth Sciences,، Computer Simulation,، Computer Science, Mathematics,، Geography,، Science, Earth Sciences, General,، Computers, Computer Simulation,، Mathematics, Discrete Mathematics,، Science, Earth Sciences, Geography
رده :
QC
981
50. Experimental Methods for the Analysis of Optimization Algorithm
پدیدآورنده : Bartz-Beielstein, ThomasEditor 4edt., ]electronic resource
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronic books,، Mathematical Optimization,، Computer Algorithms,، Mathematics, Optimization,، Computers, Programming, Algorithms
رده :
QA
402
.
5
51. Experimental Methods for the Analysis of Optimization Algorithm
پدیدآورنده : / [electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic books,Mathematical Optimization,Computer Algorithms,Mathematics, Optimization,Computers, Programming, Algorithms
رده :
E-BOOK
52. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
53. Fortran 77: an introduction to structured problem solving
پدیدآورنده : Dyck, V. A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Fortran )Computer program language(,، Mathematics- Computer programs,، Electronic digital computers programing
رده :
QA
76
.
73
.
F25D9
54. Foundation discrete mathematics for computing
پدیدآورنده : Dexter J. Booth
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Mathematics - Electronic computers
رده :
QA
,
76
.
55
,.
B6
,
1995
55. From problem to program
پدیدآورنده : / M. E. Wardle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Electronic data processing - Mathematics
رده :
001
.
642
W266
56. From problem to program
پدیدآورنده : Wardle, M E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
رده :
QA
76
.
6
.
W35
57. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
58. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
پدیدآورنده : Jouko Vaananen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
59. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
60. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده : edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
